Graphic Type Constraints and Efficient Type Inference : from ML to MLF
نویسندگان
چکیده
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type inference in both ML or MLF. We show that this constraint system is a small extension of the formalism of graphic types, originally introduced to represent MLF types. We give a few semantic preserving transformations on constraints and propose a strategy for applying them to solve constraints. We show that the resulting algorithm has optimal complexity for MLF type inference, and argue that, as for ML, this complexity is linear under reasonable assumptions.
منابع مشابه
Graphic Type Constraints and Efficient Type Inference : from ML to MLF Draft Long Version
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type inference in both ML or MLF. We show that this constraint system is a small extension of the formalism of graphic types, originally introduced to represent MLF types. We give a few semantic preserving transformations o...
متن کاملRecasting MLF
The language MLF has been proposed as an alternative to System F that permits partial type inference a la ML. It differs from System F by its types and type-instance relation. Unfortunately, the definition of type instance is only syntactic, and not underpinned by some underlying semantics. It has so far only been justified a posteriori by the type soundness result. In this work, we revisit MLF...
متن کاملMLF: An extension of ML with first-class polymorphism and implicit instantiation. (MLF : Une extension de ML avec polymorphisme de second ordre et instanciation implicite)
We propose a type system MLF that generalizes ML with first-class polymorphism as in System F. Expressions may contain second-order type annotations. Every typable expression admits a principal type, which however depends on type annotations. Principal types capture all other types that can be obtained by implicit type instantiation and they can be inferred. All expressions of ML are well-typed...
متن کاملThe Impact of Three Feedback Types on Postgraduate TEFL Student Teachers’ Writing Accuracy and Organization
One skill that student teachers need to develop during their academic studies is the capacity to produce accurate and well-organized texts. This study reports on the comparative impact of metalinguistic feedback (MLF), teacher interactive feedback (TIF(, and the peer-feedback (PF) on the accuracy and organization of postgraduate ELT student teachers’ writing. The participants were 57 postgradua...
متن کاملA Numerical Design Technique for a Relay - Type Feedback Control System
An efficient numerical method for the design and synthesis of compensator for a relay type control system is developed and discussed. Previous works based on the interactive graphic method are reviewed and it is shown that the combination of the trequency and time domain numerical techniques provide a powerful tool in design of a wide class of relay control systems. An example is presented to d...
متن کامل